super-recursive algorithm